Hongseok Yang: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Processing and properties of magnesium containing a dense uniform dispersion of nanoparticles

Chen, Lian-Yi, Xu, Jia-Quan, Choi, Hongseok, Pozuelo, Marta, Ma, Xiaolong, Bhowmick, Sanjit, Yang, Jenn-Ming, Mathaudhu, Suveen, Li, Xiao-Chun

Journal:

Year:

2015

Language:

english

File:

PDF, 4.35 MB

english, 2015

2

Automatically generating features for learning program analysis heuristics for C-like languages

Chae, Kwonsoo, Oh, Hakjoo, Heo, Kihong, Yang, Hongseok

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 973 KB

english, 2017

3

Experimental study on integration of laser-based additive/subtractive processes for meso/micro solid freeform fabrication

Hongseok Choi, Yong Yang, Xiaochun Li

Journal:

The International Journal of Advanced Manufacturing Technology

Year:

2005

Language:

english

File:

PDF, 902 KB

english, 2005

4

Effects of Catalyst Pore Structure and Acid Properties on the Dehydration of Glycerol

Choi, Youngbo, Park, Hongseok, Yun, Yang Sik, Yi, Jongheop

Journal:

Year:

2015

Language:

english

File:

PDF, 1.52 MB

english, 2015

5

Kinetics of the dehydration of glycerol over acid catalysts with an investigation of deactivation mechanism by coke

Park, Hongseok, Yun, Yang Sik, Kim, Tae Yong, Lee, Kyung Rok, Baek, Jayeon, Yi, Jongheop

Journal:

Applied Catalysis B: Environmental

Year:

2015

Language:

english

File:

PDF, 5.79 MB

english, 2015

6

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Semantics for probabilistic programming

Staton, Sam, Yang, Hongseok, Wood, Frank, Heunen, Chris, Kammar, Ohad

Year:

2016

Language:

english

File:

PDF, 371 KB

english, 2016

7

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 10201 ||

Year:

2017

Language:

english

File:

PDF, 32.51 MB

english, 2017

8

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 10201 || The Essence of Higher-Order Concurrent Separation Logic

Year:

2017

Language:

english

File:

PDF, 583 KB

english, 2017

9

Promoting effect of cerium on MoVTeNb mixed oxide catalyst for oxidative dehydrogenation of ethane to ethylene

Yun, Yang Sik, Lee, Minzae, Sung, Jongbaek, Yun, Danim, Kim, Tae Yong, Park, Hongseok, Lee, Kyung Rok, Song, Chyan Kyung, Kim, Younhwa, Lee, Joongwon, Seo, Young-Jong, Song, In Kyu, Yi, Jongheop

Journal:

Applied Catalysis B: Environmental

Year:

2018

Language:

english

File:

PDF, 3.39 MB

english, 2018

10

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Resource-Aware Program Analysis Via Online Abstraction Coarsening

Heo, Kihong, Oh, Hakjoo, Yang, Hongseok

Year:

2019

Language:

english

File:

PDF, 408 KB

english, 2019

11

Variables as Resource in Separation Logic

Richard Bornat, Cristiano Calcagno, Hongseok Yang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 401 KB

english, 2006

12

Correctness of data representations involving heap data structures

Uday S. Reddy, Hongseok Yang

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 376 KB

english, 2004

13

Possible worlds and resources: the semantics of BI

David J. Pym, Peter W. O'Hearn, Hongseok Yang

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 481 KB

english, 2004

14

Abstraction for concurrent objects

Ivana Filipović, Peter O’Hearn, Noam Rinetzky, Hongseok Yang

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 367 KB

english, 2010

15

Blaming the client: on data refinement in the presence of pointers

Ivana Filipović, Peter O’Hearn, Noah Torp-Smith, Hongseok Yang

Journal:

Formal Aspects of Computing

Year:

2010

Language:

english

File:

PDF, 431 KB

english, 2010

16

Static insertion of safe and effective memory reuse commands into ML-like programs

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 524 KB

english, 2005

17

Relational separation logic

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 464 KB

english, 2007

18

Distributed -Optimal User Association and Cell Load Balancing in Wireless Networks

Hongseok Kim, de Veciana, G., Xiangying Yang, Venkatachalam, M.

Journal:

IEEE/ACM Transactions on Networking

Year:

2012

Language:

english

File:

PDF, 3.02 MB

english, 2012

19

A divide-and-conquer approach for analysing overlaid data structures

Lee, Oukseh, Yang, Hongseok, Petersen, Rasmus

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 669 KB

english, 2012

20

Effect of Diastolic Dysfunction on Early Outcomes During Elective Off-Pump Coronary Artery Bypass Grafting: A Prospective Observational Study

Young-Nam Youn, Chi Young Shim, Hongseok Yang, Soonchang Hong, Namsik Chung, Kyung-Jong Yoo

Journal:

The Annals of Thoracic Surgery

Year:

2011

Language:

english

File:

PDF, 186 KB

english, 2011

21

All-solution blade–slit coated polymer light-emitting diodes

Hongseok Youn, Kangmin Jeon, Seongbeom Shin, Minyang Yang

Journal:

Organic Electronics

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

22

Micro rapid prototyping system for micro components

Xiaochun Li, Hongseok Choi, Yong Yang

Journal:

Thin Solid Films

Year:

2002

Language:

english

File:

PDF, 1.45 MB

english, 2002

23

A garter snake transcriptome: pyrosequencing,de novoassembly, and sex-specific differences

Tonia S Schwartz, Hongseok Tae, Youngik Yang, Keithanne Mockaitis, John L Van Hemert, Stephen R Proulx, Jeong-Hyeon Choi, Anne M Bronikowski

Journal:

Year:

2010

Language:

english

File:

PDF, 2.03 MB

english, 2010

24

Gene discovery in the horned beetleOnthophagus taurus

Jeong-Hyeon Choi, Teiya Kijimoto, Emilie Snell-Rood, Hongseok Tae, Youngik Yang, Armin P Moczek, Justen Andrews

Journal:

Year:

2010

Language:

english

File:

PDF, 1.81 MB

english, 2010

25

[IEEE 2011 IEEE Second International Conference on Smart Grid Communications (SmartGridComm) - Brussels, Belgium (2011.10.17-2011.10.20)] 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm) - Cloud-based demand response for smart grid: Architecture and distributed algorithms

Hongseok Kim,, Kim, Young-Jin, Yang, Kai, Thottan, Marina

Year:

2011

Language:

english

File:

PDF, 700 KB

english, 2011

26

Burst-shot infrared digital photography to determine scotopic pupil diameter

Hongseok Yang, Marvin Lee, Jun Bum Kim, Jaehong Ahn

Journal:

Journal of Cataract & Refractive Surgery

Year:

2006

Language:

english

File:

PDF, 385 KB

english, 2006

27

Reply: Burst-shot infrared digital photography for measuring low-light pupil

Jaehong Aho, Hongseok Yang

Journal:

Journal of Cataract & Refractive Surgery

Year:

2007

Language:

english

File:

PDF, 69 KB

english, 2007

28

Solution processed polymer light-emitting diodes utilizing a ZnO/organic ionic interlayer with Al cathode

Youn, Hongseok, Yang, Minyang

Journal:

Applied Physics Letters

Year:

2010

Language:

english

File:

PDF, 1.02 MB

english, 2010

29

Fabrication and characterization of WO3/Ag/WO3multilayer transparent anode with solution-processed WO3for polymer light-emitting diodes

Kangmin Jeon, Hongseok Youn, Seongbeom Kim, Seongbeom Shin, Minyang Yang

Journal:

Nanoscale Research Letters

Year:

2012

Language:

english

File:

PDF, 1.10 MB

english, 2012

30

Roll-to-Roll Cohesive, Coated, Flexible, High-Efficiency Polymer Light-Emitting Diodes Utilizing ITO-Free Polymer Anodes

Shin, Seongbeom, Yang, Minyang, Guo, L. Jay, Youn, Hongseok

Journal:

Year:

2013

Language:

english

File:

PDF, 1.91 MB

english, 2013

31

Fabrication of hierarchical Rh nanostructures by understanding the growth kinetics of facet-controlled Rh nanocrystals

Kim, Heonjo, Khi, Nguyen Tien, Yoon, Jisun, Yang, Hongseok, Chae, Youngjoo, Baik, Hionsuck, Lee, HyunKyung, Sohn, Jeong-Hun, Lee, Kwangyeol

Journal:

Chemical Communications

Year:

2013

Language:

english

File:

PDF, 1.43 MB

english, 2013

32

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7078 || Program Analysis and Machine Learning: A Win-Win Deal

Year:

2011

Language:

english

File:

PDF, 60 KB

english, 2011

33

Achieving uniform distribution and dispersion of a high percentage of nanoparticles in metal matrix nanocomposites by solidification processing

Chen, Lian-Yi, Peng, Jun-Yang, Xu, Jia-Quan, Choi, Hongseok, Li, Xiao-Chun

Journal:

Scripta Materialia

Year:

2013

Language:

english

File:

PDF, 497 KB

english, 2013

34

Protective Effect of Grape Seed Extract against Oxidative Stress-Induced Cell Death in a Staurosporine-Differentiated Retinal Ganglion Cell Line

Yang, Hongseok, Lee, Bo Kyung, Kook, Koung Hoon, Jung, Yi-Sook, Ahn, Jaehong

Journal:

Current Eye Research

Year:

2012

Language:

english

File:

PDF, 847 KB

english, 2012

35

[IEEE IEEE INFOCOM 2011 - IEEE Conference on Computer Communications - Shanghai, China (2011.04.10-2011.04.15)] 2011 Proceedings IEEE INFOCOM - Pricing-based spectrum access control in cognitive radio networks with random access

Yang, Lei, Kim, Hongseok, Zhang, Junshan, Chiang, Mung, Tan, Chee Wei

Year:

2011

Language:

english

File:

PDF, 603 KB

english, 2011

36

A facile approach for the preparation of tunable acid nano-catalysts with a hierarchically mesoporous structure

Choi, Youngbo, Yun, Yang Sik, Park, Hongseok, Park, Dae Sung, Yun, Danim, Yi, Jongheop

Journal:

Chemical Communications

Year:

2014

Language:

english

File:

PDF, 1.67 MB

english, 2014

37

[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Semantics of Separation-Logic Typing and Higher-Order Frame Rules

Birkedal, L., Torp-Smith, N., Hongseok Yang,

Year:

2005

Language:

english

File:

PDF, 297 KB

english, 2005

38

[IEEE IEEE INFOCOM 2010 - IEEE Conference on Computer Communications - San Diego, CA (2010.03.14-2010.03.19)] 2010 Proceedings IEEE INFOCOM - alpha-Optimal User Association and Cell Load Balancing in Wireless Networks

Hongseok Kim,, de Veciana, Gustavo, Xiangying Yang,, Venkatachalam, Muthaiah

Year:

2010

Language:

english

File:

PDF, 186 KB

english, 2010

39

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Local Action and Abstract Separation Logic

Calcagno, Cristiano, O'Hearn, Peter W., Yang, Hongseok

Year:

2007

Language:

english

File:

PDF, 274 KB

english, 2007

40

[IEEE Comput. Soc 1998 International Conference on Computer Languages (Cat. No.98CB36225) - Chicago, IL, USA (14-16 May 1998)] Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225) - Type reconstruction for syntactic control of interference. 2

Hongseok Yang,, Huang, H.

Year:

1998

Language:

english

File:

PDF, 287 KB

english, 1998

41

Rational Design of a Bifunctional Catalyst for the Oxydehydration of Glycerol: A Combined Theoretical and Experimental Study

Yun, Yang Sik, Lee, Kyung Rok, Park, Hongseok, Kim, Tae Yong, Yun, Danim, Han, Jeong Woo, Yi, Jongheop

Journal:

Year:

2015

Language:

english

File:

PDF, 1.60 MB

english, 2015

42

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - On abstraction refinement for program analyses in Datalog

Zhang, Xin, Mangal, Ravi, Grigore, Radu, Naik, Mayur, Yang, Hongseok

Year:

2013

Language:

english

File:

PDF, 436 KB

english, 2013

43

A step-indexed Kripke model of hidden state

SCHWINGHAMMER, JAN, BIRKEDAL, LARS, POTTIER, FRANÇOIS, REUS, BERNHARD, STØVRING, KRISTIAN, YANG, HONGSEOK

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 556 KB

english, 2013

44

Cataract surgery

Yang, Hongseok, Afshari, Natalie A.

Journal:

Current Opinion in Ophthalmology

Year:

2014

Language:

english

File:

PDF, 92 KB

english, 2014

45

Work function modification of solution-processed tungsten oxide for a hole-injection layer of polymer light-emitting diodes

Lee, Jaehak, Youn, Hongseok, Yang, Minyang

Journal:

Organic Electronics

Year:

2015

Language:

english

File:

PDF, 1.99 MB

english, 2015

46

Modular verification of preemptive OS kernels

GOTSMAN, ALEXEY, YANG, HONGSEOK

Journal:

Journal of Functional Programming

Year:

2013

Language:

english

File:

PDF, 749 KB

english, 2013

47

The yellow intraocular lens and the natural ageing lens

Yang, Hongseok, Afshari, Natalie A.

Journal:

Current Opinion in Ophthalmology

Year:

2014

Language:

english

File:

PDF, 157 KB

english, 2014

48

Comparison of Event-Based Methods Using Optical Coherence Tomography and Automated Perimetry to Detect the Progression of Glaucoma in Patients with Open-Angle Glaucoma

Lee, Marvin, Yang, Hongseok, Kim, Jongwan, Ahn, Jaehong

Journal:

Ophthalmologica

Year:

2013

Language:

english

File:

PDF, 262 KB

english, 2013

49

Antifibrotic Effect of Pirfenidone on Human Pterygium Fibroblasts

Lee, Kihwang, Young Lee, Sun, Park, So Yean, Yang, Hongseok

Journal:

Current Eye Research

Year:

2014

Language:

english

File:

PDF, 905 KB

english, 2014

50

Separation and information hiding

O'Hearn, Peter W., Yang, Hongseok, Reynolds, John C.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2009

Language:

english

File:

PDF, 313 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски